Event calculus - PDFSEARCH.IO - Document Search Engine

Event calculus
Results: 45

#	Item
21	Thank you for choosing Coastal Event Catering for your function. Function Terms and Conditions Please observe the following terms and conditions regarding the catering of your function. Please sign the bottom of the pag Add to Reading List Source URL: www.centralcoastcatering.net.au Language: English - Date: 2013-05-02 23:15:35 Function Maxima and minima Mathematics Catering Calculus
22	From: AAAI Technical Report WS[removed]Compilation copyright © 2002, AAAI (www.aaai.org). All rights reserved. Preliminary Insights on Temporal Approximation Aarati Parmar Department of Computer Science, Gates Building, Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:55:57 Logic programming Knowledge representation Logic in computer science Situation calculus Non-classical logic Frame problem Fluent Interpretation Event Mathematics Logic Mathematical logic
23	Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems Christos Efstratiou1 , Adrian Friday1 , Nigel Davies1,2 and Keith Cheverst1 1 Computing Department Lancaster University Add to Reading List Source URL: eprints.lancs.ac.uk Language: English - Date: 2011-07-07 12:10:50 Logic in computer science Logic programming Knowledge representation Event calculus Fluent Predicate logic Programming paradigms Futures and promises Adaptive management Mathematical logic Mathematics Logic
24	"Event-Valued Random Variables = Propositional Functions of Possible Worlds", 1971 Box 14, Folder 6 Richard C. Jeffrey Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections Department, Un Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 22:40:57 Propositional calculus Philosophy of language Function Proposition Random variable Mathematics Logic Mathematical logic
25	Refining Temporal Reference in Event Structures Fabio Pianesi Istituto per la Ricerca Scientifica e Tecnologica, 38050 Povo, Trento, Italy Achille C. Varzi Department of Philosophy, Columbia University, New York, NY 1002 Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2000-01-22 18:17:58 Function Differential calculus Inverse functions Derivative Equicontinuity Mathematics Mathematical analysis Functions and mappings
26	Abstract The area of reasoning about action and change is concerned with the formalization of actions and their eects as well as other aspects of inhabited dynamical systems. The representation is typically done in some Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-07 10:05:24 Logic in computer science Science Knowledge representation Epistemology Reasoning Frame problem Event calculus Situation calculus Dynamic logic Mathematical logic Logic Logic programming
27	Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:02 Epistemology Frame problem Theoretical computer science Situation calculus Science Predicate transformer semantics Event calculus Logic programming Knowledge representation Artificial intelligence
28	Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming
29	Deductive Planning with Temporal Constraints using TAL Martin Magnusson and Patrick Doherty I Link6pings universitet, Link6ping[removed], Sweden patdo@ida, liu. se, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:38:33 Theoretical computer science Knowledge representation Epistemology Logic in computer science Constraint logic programming Constraint programming Event calculus First-order logic Forcing Mathematical logic Logic Logic programming
30	Continuous safety monitoring in single-arm time-to-event trials without software John Cook Department of Biostatistics, Box 447 The University of Texas, M. D. Anderson Cancer Center 1515 Holcombe Blvd., Houston, Texas 77 Add to Reading List Source URL: www.johndcook.com Language: English - Date: 2013-07-09 18:24:36 Calculus Continuous function Gamma distribution Exponential distribution Distribution Probability distribution Function Mathematical analysis Mathematics Generalized functions